int Menu1();
int aide();
void charger(FILE *f,int t[100][100]);
int rdtsc();
void aleatoire(int t[100][100]);
int caseremplie(int t[100][100],int t2[30]);
void affichegrille(int t[100][100]);
void sauvgarder(FILE *f,int t[100][100]);
void saisie(FILE *f,int h,int t[100][100],int t2[30]);
void resultat(int t[100][100]);
